/*
 *  Copyright 2011 yura.
 * 
 *  Licensed under the Apache License, Version 2.0 (the "License");
 *  you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 * 
 *       http://www.apache.org/licenses/LICENSE-2.0
 * 
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 *  under the License.
 */

package org.opu.yyminijava.visitor;

/**
 *
 * @author yura
 */
class TypeCheckException extends RuntimeException{

    private static final long serialVersionUID = -4375984222882120789L;

	public TypeCheckException() {
    }

    public TypeCheckException(Throwable cause) {
        super(cause);
    }

    public TypeCheckException(String message, Throwable cause) {
        super(message, cause);
    }

    public TypeCheckException(String message) {
        super(message);
    }


    public static void assertTrue(boolean expr, String msg)
            throws TypeCheckException{

        if(!expr){
            throw new TypeCheckException(msg);
        }
    }

    public static void assertNotNull(Object expr, String msg)
            throws TypeCheckException{

        assertTrue(expr != null, msg);
    }

    public static void assertEquals(Object expr1, Object expr2, String msg)
            throws TypeCheckException{

        assertTrue((expr1 == null ? expr2 == null : expr1.equals(expr2)), msg);
    }
}
